00000000:007fffff intelstuff
00800000:00bfffff coreboot
